#ifndef KERN_SBI_ECALL_IDS
#define KERN_SBI_ECALL_IDS

#define SBI_EXTENSION_ID_LEGACY_EXTENSION_SBI_CONSOLE_PUTCHAR 0x01
#define SBI_EXTENSION_ID_LEGACY_EXTENSION_SBI_SHUTDOWN 0x08
#define SBI_EXTENSION_ID_TIMER_EXTENSION 0x54494D45

#define SBI_FUNCTION_ID_LEGACY_EXTENSION_SBI_CONSOLE_PUTCHAR 0
#define SBI_FUNCTION_ID_LEGACY_EXTENSION_SBI_SHUTDOWN 0
#define SBI_FUNCTION_ID_TIMER_EXTENSION_SBI_SET_TIMER 0

#endif /* KERN_SBI_ECALL_IDS */
